Search-to-Decision Reductions for Lattice Problems with Approximation Factors (Slightly) Greater Than One
نویسنده
چکیده
We show the first dimension-preserving search-to-decision reductions for approximate SVP and CVP. In particular, for any γ ≤ 1+O(logn/n), we obtain an efficient dimension-preserving reduction from γO(n/ log n)-SVP to γ-GapSVP and an efficient dimension-preserving reduction from γO(n)-CVP to γ-GapCVP. These results generalize the known equivalences of the search and decision versions of these problems in the exact case when γ = 1. For SVP, we actually obtain something slightly stronger than a search-to-decision reduction—we reduce γO(n/ logn)-SVP to γunique SVP, a potentially easier problem than γ-GapSVP.
منابع مشابه
A Free Line Search Steepest Descent Method for Solving Unconstrained Optimization Problems
In this paper, we solve unconstrained optimization problem using a free line search steepest descent method. First, we propose a double parameter scaled quasi Newton formula for calculating an approximation of the Hessian matrix. The approximation obtained from this formula is a positive definite matrix that is satisfied in the standard secant relation. We also show that the largest eigen value...
متن کاملTREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کاملOn the hardness of the shortest vector problem
An n-dimensional lattice is the set of all integral linear combinations of n linearly independent vectors in ' tm. One of the most studied algorithmic problems on lattices is the shortest vector problem (SVP): given a lattice, find the shortest non-zero vector in it. We prove that the shortest vector problem is NP-hard (for randomized reductions) to approximate within some constant factor great...
متن کاملDispersion and Deposition of Micro Particles over Two Square Obstacles in a Channel via Hybrid Lattice Boltzmann Method and Discrete Phase model
Dispersion and deposition of aerosol particles over two square cylinders confined in a channel in laminar unsteady vortical flow were investigated numerically. Lattice Boltzmann method was used to calculate fluid characteristics and modify Euler method was employed as Lagrangian particle tracing procedure to obtain particle trajectories. Drag, Saffman lift, gravity, buoyancy and Brownian motion...
متن کاملWitness-Isomorphic Reductions and the Local Search Problem (Extended Abstract)
We study witness-isomorphic reductions, a type of structure-preserving reduction between NP-decision problems. We show that witness-isomorphic reductions can be used in a uniform approach to the local search problem
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016